Software that Meets Its Intent
نویسندگان
چکیده
Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization of this idea requires novel theories, algorithms, tools, and techniques to discover, express, verify, and evolve software intents. Thus, future software systems will be able to verify themselves that they meet their intents. Moreover, they will be able to respond to deviations from intents through selfcorrection. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.
منابع مشابه
A Comparative study of Test Exit Criteria in Software Testing
Software Testing refers to the set of activities carried out on the software with the intent of finding errors. It is one to ascertain that the software meets all its specifications. For any software a very large number of scenarios and input value combinations exist and testing the software for each of these combinations is not possible. And, also the time and resources for testing are limited...
متن کاملImproving Design Intent Research for Software Maintenance
Design intent is a collection of decision-making factors that explain a design. Annotating software architecture models with design knowledge such as design intent may benefit maintenance activities. Unfortunately, researchers do not understand how software maintainers conduct design activities and use design documentation. This position paper presents a summary of design activities and design ...
متن کاملSurvey on Acceptance Testing Technique
Software testing is done to detect and correct software failures. Main purpose of testing is to check that software meets all specified requirements that guided its design and development. User Acceptance testing (UAT) is the key feature of software implementation. UAT is performed to ensure that the new system meets all the essential user requirements. It is the final testing activity performe...
متن کاملThe relationship between ethical climate and the intent to stay at work among operating room and anesthesia personnel: A Descriptive cross-sectional study
Introduction: In the therapeutic environment, the ethical climate is the conditions that facilitate ethical decision-making. Some researchers believe that promotion of the ethical climate in health care institutes brings about better reactions to ethical stress on the part of the nurses and other causes of dissatisfaction in the work environment. The study was conducted to examine the relations...
متن کاملDIO: A Pattern for Capturing the Intents Underlying Designs
A critical and often overlooked aspect underlying the design and consequent realisation of an artifact is its design intent. Given the highly distributed and diverse nature of workflows in today’s design environments, the need to have a shared understanding of the design intent, to enable effective communication and coordination between the development teams is crucial. In this paper we present...
متن کامل